Moles: Tool-Assisted Environment Isolation with Closures
نویسندگان
چکیده
Isolating test cases from environment dependencies is often desirable, as it increases test reliability and reduces test execution time. However, code that calls non-virtual methods or consumes sealed classes is often impossible to test in isolation. Moles is a new lightweight framework which addresses this problem. For any .NET method, Moles allows test-code to provide alternative implementations, given as .NET delegates, for which C# provides very concise syntax while capturing local variables in a closure object. Using code instrumentation, the Moles framework will redirect calls to provided delegates instead of the original methods. The Moles framework is designed to work together with the dynamic symbolic execution tool Pex to enable automated test generation. In a case study, testing code programmed against the Microsoft SharePoint Foundation API, we achieved full code coverage while running tests in isolation without an actual SharePoint server. The Moles framework integrates with .NET and Visual Studio.
منابع مشابه
The Moles and Mini Moles Software System: Bridging the Gap between Indoor and Outdoor Learning
In this paper, we present Moles and Mini Moles, a combination of learning software tools that serve in bridging the gap between inside and outside classroom learning experiences. Secondary school students use these tools for hypothesizing, transferring, and testing lessons learned in the classroom into their physical environment. In particular, students use Moles and Mini Moles to create intera...
متن کاملUsing the Moles and Mini Moles Software System to Bridge the Gap between Indoor and Outdoor Learning
The present paper focuses on bridging the gap between inside and outside classroom learning experiences. We present Moles and Mini Moles, a learning software tools system specifically designed to serve this purpose. Secondary school students use these tools for hypothesizing, gathering, and transferring information learned within the classroom and testing their knowledge and recording their exp...
متن کاملComparative study of ultrasonic vibrations assisted EDM and magnetic field assisted EDM processes
In this investigation, the material removal rate, tool wear rate and surface integrity obtained by EDM, ultrasonic vibrations assisted EDM and magnetic field assisted EDM were studied and compared with together to show the quality of the effects of applying each of ultrasonic vibrations to tool and magnetic field around gap distance of EDM process on material removal rate, tool wear rate, and s...
متن کاملSample depletion of the matrix-assisted laser desorption process monitored using radionuclide detection.
To investigate analyte consumption during the laser desorption process, matrix-assisted laser desorption/ionization mass spectrometry (MALDI MS) is combined with radionuclide detection. Radionuclide detection provides highly sensitive and quantitative information on the amount of radiolabeled analytes in a MALDI MS sample spot. 14C-Labeled cytochrome c is deposited with 2,5-dihydroxybenzoic aci...
متن کاملIsolation, Equidistribution, and Orbit Closures for the Sl(2,r) Action on Moduli Space
We prove results about orbit closures and equidistribution for the SL(2,R) action on the moduli space of compact Riemann surfaces, which are analogous to the theory of unipotent flows. The proofs of the main theorems rely on the measure classification theorem of [EMi2] and a certain isolation property of closed SL(2,R) invariant manifolds developed in this paper.
متن کامل